if( !EnumSet.of( POSITIVE_ENTAILMENT, NEGATIVE_ENTAILMENT ).contains( type ) )
throw new IllegalArgumentException();
}
public void run() {
SerializationFormat pFmt = null, cFmt = null;
for( SerializationFormat f : formatList ) {
if( testcase.getPremiseFormats().contains( f ) ) {
pFmt = f;
break;
}