changed connectives -> Connective
cleaned some print statements and comments
removed useless lines
used parent class for checking
changed variable to variable_name in quantifiers