Massive bug fix. Removed handling of old not operator syntax.