Merge "Fix wildcard edges by simulating TransitionSteps in KTI" into main