Automatically insert local variables when parsing formulas

This matches what almost all code already did anyway. It will also help
with fixing the problems with local variables in Event-B mode - the fix
will require conditionally parsing multiple formulas.