tosem: Add Graph_MAVO projects
tosem: Remove LabeledGraph projects
tosem: Rename LabeledGraph directory into Graph
tosem: Reorganize feature names
tosem: Enable operators with no input parameters
tosem: Add Graph_MAVO operators project
tosem: Done GenerateRandomGraph operator
tosem: Make GenerateRandomGraph prettier
tosem: Fix EcoreMAVOToSMTLIB when Node and Edge are metamodel classes
tosem: Add stub for may-only smtlib encoding
tosem: Add may-only encoding generation option to EcoreMAVOToSMTLIB
tosem: Add stub for updated TOSEM12 operator
tosem: Add mavo + classical property checks to TOSEM12

 * Reuse code from mavo check constraint (isolate in own function)
 * Refactor some function names
 * Remove duplicate MAVOTruthValue enum
tosem: Unify init() invocation
tosem: Add concretizations generation to TOSEM12
tosem: Store edges from a z3 encoding
tosem: Various fixes to make everything testable

 * Working until parsing z3 model
tosem: Better api to deal with z3 models
tosem: Pseudo-stable checkpoint to merge into main tree
Merge branch 'tosem'

 * Revitalization of tosem experiments and code
 * Work is not completed, but a number of fixes need to flow back to master