Expand not-equal for SMT-LIB 2 compatibility