added some expression helper methods to the model_api module
added an alternative formulation of the 'solved' predicate which combines symbolic and concrete execution