HomeIsabelle/Phabricator

tuned: more accurate check (is_norm_hhf protect);