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