Pass in storage for destination state and labels to next_state_{all,long}
Pass in storage for destination state and labels to next_state_{all,long}

(needs mcrl2 >= 9260)

vbloemen/ltsmin,alaarman/ltsmin,lordqwerty/ltsmin,thedobs/LTSmin,Meijuh/ltsmin,Sybe/composition,lordqwerty/ltsmin,Sybe/composition,alaarman/ltsmin,vbloemen/ltsmin,trolando/ltsmin,Meijuh/ltsmin,thedobs/LTSmin,vbloemen/ltsmin,utwente-fmt/ltsmin,buschko/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,Sybe/composition,vbloemen/ltsmin,alaarman/ltsmin,utwente-fmt/ltsmin,thedobs/LTSmin,Meijuh/ltsmin,utwente-fmt/ltsmin,trolando/ltsmin,Meijuh/ltsmin,trolando/ltsmin,alaarman/ltsmin,utwente-fmt/ltsmin,vbloemen/ltsmin,buschko/ltsmin,buschko/ltsmin,lordqwerty/ltsmin,Meijuh/ltsmin,trolando/ltsmin,vbloemen/ltsmin,Sybe/composition,vbloemen/ltsmin,lordqwerty/ltsmin,alaarman/ltsmin,alaarman/ltsmin,buschko/ltsmin,thedobs/LTSmin