fix --check-model --finite-model-find when used together (related to bug 486)
another fix for quantifier models (related to bug 486)
Merge branch '1.0.x'