Keep track of fallthrough edges in PatmosFunctionSplitter, do not rely on successors