Remove inverse_of in has_state, which introduces weird behaviour