setLclEnv in solveForAll should be restoreLclEnv
I am pretty sure that the setLclEnv call in solveForAll should be a restoreLclEnv call.
See note "restoreLclEnv vs setLclEnv".
cc @simonpj
I am pretty sure that the setLclEnv call in solveForAll should be a restoreLclEnv call.
See note "restoreLclEnv vs setLclEnv".
cc @simonpj