Somehow statement nodes show no state, but the entry and return nodes do.
Comparing with the HTML output, it appears that their statement IDs are somehow different in Gobview than they were in the original Goblint run, so the right state cannot be found.