[compare_terms now prints solutions if called by itself.
gergo@complang.tuwien.ac.at**20090126212217] {
hunk ./wam.fs 1623
-: compare_terms ( -- )
+: compare_terms ( flag -- )
hunk ./wam.fs 1635
+    dup -1 = if
+        print-solutions
+    endif
}