Added tests for connectives
Added tests for connectives. Accidently only added the result files on previous commit
Updated test results for equivalence operator generation