(SPIN-to-ARRANGE scenario transformation: extract INITIAL state info and extract and trim TERMINAL state info) (Explorer GUI - bugfix: autoconstructed testsuites and testcases) [ as of corporate 84b4f21526338b57e9189a24f9488ff77f284458 ]