Crear pruebas JUnit

Puede crear una prueba JUnit de TPTP de una de dos maneras: manualmente o desde un caso de prueba JUnit existente.