Aasm_state with dots