Remove automatic evaluation
Added conversion to NNF
Add equals to boolean
Changed is_literal
Added tests
Fixed issues with Logical Atom
Fixed issues with count_ops and assumption
Changed count_ops and is_literal