Add parse function to the propositional parser
Add tautologies to resolution tests