||An Assume command pushes some proposition onto the assumption stack
of the session.
||A Check command takes a given proposition and asks the Session to
||A Raw command provides no additional structure, allowing arbitrary
commands (as long as they have no ouput) to be sent to the
||An UndoAssume command removes an assumption from the assumption
stack of the given session.
||InvariantLemmas are Lemmas created by printing a Daikon invariant
in Simplify format, sometimes with some hacks.
||A lemma is an object that wraps a Simplify formula representing
some logical statement.
||A stack of Lemmas that shadows the stack of assumptions that
||A session is a channel to the Simplify theorem-proving tool.
||A SessionManager is a component which handles the threading
interaction with the Session.
||Utility functions for the simplify package.