Fix parsing negations
Remove commented code
Update Makefile
Add self-implication proof
Add getProofTree
Better error message for bad modus ponens case
Usefull functions
Add error message to getVariableValue
Completeness skeleton + proves of statements in assumption of variables (only implication and negation)