testEquivalence started. Not correct for equivalences with different variables eg. p and p^(pvq)