Fix DoModI/DoDivI sequences and add eq/ne case to ReverseCondition()