public void testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds() { testEqualityAndSubstitutionAxiomsKBabcdPFFASucceeds( new FOLModelElimination(), false); }