CNF

@Hoss93 
push_negation should do as it says and push it forward. only negate stops and doesn't go forward. please change the implementation of push_negation to go forward by calling push_negation on its children