[KISEMA-1524] Somewhere a instantaneous loop is created by the SCCharts compiler

[fabianheyer]

[Issue KISEMA-1524 migrated from JIRA, first reported on 2019-09-10]

This simple SCCcchart should be asc-scheduable

scchart InstantaneousLoop {
--
output int x
bool _wsFlag = false
 
initial state _WS
immediate go to _deferred_A
 
state _deferred_A {
state count {
during do x += 1
}
go to done  final state done  state _WS1
immediate go to done  initial state _Init1
immediate if _wsFlag go to _WS1
immediate go to count
}
go to _WS
}

After the Abort processor it looks like this:

Later there is a instantaneous loop