-o tester.java
-a alii
-s signatures
-v points
-j BBag.java
-i BSet.java
-x axioms