Broken Transformation with guarded During, Exit and Weak Abort

If an exit action, a during action and a guarded weak abort on the state are combined, the weak abort transformation is triggered even though the guard is not active.

scchart DuringExitAbortIssue {

  input bool I1, I2, I3, I4

  extern "doThingsA" doThingsA

  extern "doThingsB" doThingsB

  initial state A

  if I1 go to B

  state B {

    during if I2 do doThingsA()

    exit if I3 do doThingsB()

  }

  if I4 go to C

  state C	

}

After transformation the following model is created

The expected model would look like this after action transformation (before connector)