Addressed the "may be used uninitialized" compiler build error
Merge pull request #869 from vasslitvinov/fix--forall-intents--build

Addressed the "may be used uninitialized" compiler build error
from #614 that I merged just now.

I did not follow all the details; however this trivial change seems to have eliminated the above error while building the compiler.