Model Checking to Improve Precision of Design Patterns Instances Identification in OO Systems