aggiunto AssertionTest.java e relativo file .jpf