Added noCoexisenceOtherRules for each rule.the other rules that , once use one of the rules in noCoexisenceOtherRules, should not use this rule
Fixed backtrack logic for the planner.