Study of the Convergence in Automatic Generation of Instance Level Constraints