Fix bug 491 and related issues with checkModel() and quantifiers.  Enabling previously-failing testcase.