HomeIsabelle/Phabricator

more robust access to local variables;