CLN: not operator does not bind all boolean expressions