Add "getModelValue" and "getModelValues"

These two functions greatly simplify programming with counter-example
values.