Fixed a bug where some quantified formula constraints were being
overwritten.