removed useless deepcopy and substituted push_nots_inwards with push_negation only