mc: optionally merge transition relations into one relation before running reachability search
mc: optionally merge transition relations into one relation before running reachability search
utwente-fmt/sylvan,Meijuh/sylvan,Meijuh/sylvan,trolando/sylvan,utwente-fmt/sylvan,trolando/sylvan