Improving Design Patterns Finder Precision Using a Model Checking Approach