Fixed: query_ennf() didn't propagate negations properly.

The pushed-inside negation was essentially ignored at literal level.