Symbol: ha_check_invariant_ns