In reply to dave_59:
Thank you very much.
About the second solution, is it possible/correct to write it as:
bins end_state_1 = (STATE_1 => (~STATE_1));
So basically, transition from STATE_1 to anything else?
Also, I need to sample a value when STATE_1 ends, so if I’ll do a cross between a value and a transition, will it give the value at the time the state ends?