bool ge_nlt ; /* transform (a >= b) to !(a < b) */
bool ne_neq ; /* transform a != b --> ! (a == b) */
bool eq_nne ; /* transform a == b --> ! (a != b) */
bool ge_nlt ; /* transform (a >= b) to !(a < b) */
bool ne_neq ; /* transform a != b --> ! (a == b) */
bool eq_nne ; /* transform a == b --> ! (a != b) */