BugFix: The rule a-c1 =op= c2 and a+c1 =op= c1 work only for =op= == and !=