// BUG: Assignment to next state omitted, state omitted from senslist