public void testMaxTime2(){
OntoSpreadRestriction restriction = new OntoSpreadRestrictionNotMaxTime(2000);
OntoSpreadState ontoSpreadState = new OntoSpreadState();
ontoSpreadState.setSpreadTime(2001);
assertFalse(restriction.eval(ontoSpreadState));
}
}