Fix ChangeVariableExplicitThereExists and ChangeVariableExplicitForAll.
Fix ChangeVariableExplicitThereExists and ChangeVariableExplicitForAll.

raphlinus/ghilbert,raphlinus/ghilbert,raphlinus/ghilbert,raphlinus/ghilbert