Added tracing of smt calls. Should probably be made usable from command line rather than via recompile...
Turn of tracing by default to not get wierd surprises... :-)