Property now stored with the automaton.