fixed a bug in the structural equivalence checker which resulted in
false positives in property axiom equivalence checks