Crash during witness export in IterationElement.computeNodesBetweenConditionAndBody

Between 7056dc81 and c3cd70c0 the following crash was introduced in the witness export:

Exception in thread "main" java.util.NoSuchElementException: No value present
        at java.base/java.util.Optional.orElseThrow(Optional.java:377)
        at org.sosy_lab.cpachecker.util.ast.IterationElement.computeNodesBetweenConditionAndBody(IterationElement.java:94)
        at org.sosy_lab.cpachecker.util.ast.IterationElement.getNodesBetweenConditionAndBody(IterationElement.java:103)
        at org.sosy_lab.cpachecker.util.yamlwitnessexport.CounterexampleToWitness.exportWitnessVersion2(CounterexampleToWitness.java:265)
        at org.sosy_lab.cpachecker.util.yamlwitnessexport.CounterexampleToWitness.export(CounterexampleToWitness.java:343)
        at org.sosy_lab.cpachecker.cpa.arg.counterexamples.CEXExporter.exportCounterexample(CEXExporter.java:340)
        at org.sosy_lab.cpachecker.cpa.arg.ARGStatistics.writeOutputFiles(ARGStatistics.java:349)
        at org.sosy_lab.cpachecker.util.statistics.StatisticsUtils.writeOutputFiles(StatisticsUtils.java:104)
        at org.sosy_lab.cpachecker.core.defaults.MultiStatistics.writeOutputFiles(MultiStatistics.java:50)
        at org.sosy_lab.cpachecker.util.statistics.StatisticsUtils.writeOutputFiles(StatisticsUtils.java:104)
        at org.sosy_lab.cpachecker.core.defaults.MultiStatistics.writeOutputFiles(MultiStatistics.java:50)
        at org.sosy_lab.cpachecker.util.statistics.StatisticsUtils.writeOutputFiles(StatisticsUtils.java:104)
        at org.sosy_lab.cpachecker.core.MainCPAStatistics.writeOutputFiles(MainCPAStatistics.java:400)
        at org.sosy_lab.cpachecker.core.CPAcheckerResult.writeOutputFiles(CPAcheckerResult.java:120)
        at org.sosy_lab.cpachecker.cmdline.CPAMain.printResultAndStatistics(CPAMain.java:806)
        at org.sosy_lab.cpachecker.cmdline.CPAMain.main(CPAMain.java:187)

Example command line:

cpachecker --timelimit 900s --svcomp24 --spec test/programs/benchmarks/properties/unreach-call.prp --64 test/programs/benchmarks/hardware-verification-bv/btor2c-lazyMod.noninitstate.c

This still persists with a3e8a69e. At least 115 tasks are affected according to BuildBot.