Improving Design Patterns Finder precision Using a Model Checking Approach