JUnit-tests maken

U kunt een JUnit-test van TPTP op twee manieren maken: handmatig of aan de hand van een bestaande JUnit-testcase.