optimization: hint about the size of state sequence length
moving to common FSM constants declaration