EXPRESSION class undefined.
Wrong printing for binary conjunctions.