This property is weird. Do we really need it? It appears to be used in is_free(automaton)
is_free(automaton)