There is still a problem, the GUI asks whether the import the queries at LTL or CTL but it should not ask this, it should be overtaken from the queries before unfolding.
There is still a problem, the GUI asks whether the import the queries at LTL or CTL but it should not ask this, it should be overtaken from the queries before unfolding.