removed push_negation from Nested class