// 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));
} catch (IOException e) {
e.printStackTrace();
fail("encountered exception running parmaeter equivalencer");
}