Skapa JUnit-tester

Du kan skapa ett TPTP JUnit-test antingen manuellt eller från ett befintligt JUnit-testfall.