Improving design patterns finder precision using a model checking approach