HomeIsabelle/Phabricator

clarified static_check: avoid accidental evaluation;