Closed andreasmuelder closed 4 years ago
fixes #2995
also fixes https://github.com/Yakindu/statecharts/issues/2260
fixes #2995