+ // Give me your internal state:
+
+ /** Show the current trace/stack
+ *
+ * Could this be handled in the Session/ModelChecker instead?
+ */
+ virtual RecordTrace getRecordTrace();
+ virtual std::vector<std::string> getTextualTrace();
+ virtual void logState();
+