removed useless deepcopy and substituted push_nots_inwards with push_negation only
Merge remote-tracking branch 'origin/master' into cnf

Conflicts:
	fol.py
Fixed bug with specifying and's children