IcfgTransformer AssertionError "The Icfg has been traversed out of order .."

[alexandernutz]

IcfgTransformer throws an AssertionError with description
"The Icfg has been traversed out of order (found return before having found the corresponding call)"
-- is this a bug??

It happens on this input:

memsafety/test-0102_true-valid-memsafety.i
AutomizerC_WithHeapSeparation.xml
(standard settings should work)

other input programs that trigger the assertion:
systemc/bist_cell_true-unreach-call_false-termination.cil.c
heap-manipulation/bubble_sort_linux_false-unreach-call_false-valid-memcleanup.i