icp_solver ignoring negated equality constraints

In constructing the rp_constraints, the icp solver prints the literals to strings and compares them to "0 = 0".    Looking at Enode.C, the print_infix method specifically looks for negated equality constraints and prints them as "0 = 0".  This is causing me to get some wrong solutions.  Am I missing something?
