Add support for optimizing exists-forall problems.