top of callstack is head, not last!
fixed combine
fixed fixpoint not reached: set initial predecessor mapping when spawning/as startstate