LOGIC-88: disequality reification is broken

Was not emitting the entire prefix was all.