HomeIsabelle/Phabricator

more careful treatment of context for method source;