currently disabling bug486 regression.  we need to discuss getValue/collectModelInfo for quantifiers more.