another fix for quantifier models (related to bug 486)
More complete fix for bug 484 (includes fixes for records and tuples).