use lists of state variables, so that when necessary twe can just flatten nested state tuples
use lists of state variables, so that when necessary twe can just flatten nested state tuples

PFCM/generating_sequences