public void testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds() { testEqualityAndSubstitutionNoAxiomsKBabcdPFFASucceeds( new FOLModelElimination(), true); } }