Generation of constraints with MultiRules complete