Fix name method
Improve toString method
Abbreviate "EliminateTautologies" in the CLI
Add simple proof for testing "EliminateTautologies"