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