A search-based approach for detecting circular dependency bad smell in goal-oriented models