wrap the content of the unit pragma in a list, to get closers to what happens for regular B

de.prob.core/src/de/prob/core/translator/pragmas/UnitPragma.java

@@ -19,7 +19,9 @@ public class UnitPragma implements IPragma {
 		pout.printAtom("unit");
 		pout.printAtom(definedIn);
 		pout.printAtom(attachedTo);
+		pout.openList();
 		pout.printAtom(content);
+		pout.closeList();
 		pout.closeTerm();
 	}