// test parameter equivalencer
int params = p2.stage3EquivalenceParameters(pn, equivs);
assertThat("incorrect number of parmeter equivalences", params, is(9));
// test term equivalencer
int terms = p2.stage3EquivalenceTerms(pn);
assertThat("incorrect number of term equivalences", terms, is(5));
// test statement equivalencer
int statements = p2.stage3EquivalenceStatements(pn);
assertThat("incorrect number of statement equivalences", statements, is(3));