Automated Refactoring of OCL Constraints with Search