@@ -0,0 +1,169 @@
+/**%0ATest the functionality and interaction of modules in the prover component.%0A@author Leon Handreke%0A@author fabian%0A*/%0Apackage edu.kit.iti.formal.pse.worthwhile.prover;%0A

Add package-info.java