Symbol: has_invariant