pins2lts-sym: now optionally save set of reachable states
pins2lts-sym: now optionally save set of reachable states

vbloemen/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin,alaarman/ltsmin,Meijuh/ltsmin,trolando/ltsmin,Meijuh/ltsmin,Meijuh/ltsmin,vbloemen/ltsmin,alaarman/ltsmin,utwente-fmt/ltsmin,Meijuh/ltsmin,vbloemen/ltsmin,utwente-fmt/ltsmin,utwente-fmt/ltsmin,alaarman/ltsmin,Meijuh/ltsmin,utwente-fmt/ltsmin,Meijuh/ltsmin,vbloemen/ltsmin,trolando/ltsmin,trolando/ltsmin,trolando/ltsmin,alaarman/ltsmin,alaarman/ltsmin,vbloemen/ltsmin