more MBT functionality, including conditions for an edge
Updates to MBT classes, refactored expressions
added graph module