AcceleratedInterpolation unsoundness ReachSafety-Loops

[danieldietsch]

Version c3a52b3

There are numerous unsound results from AcceleratedInterpolation:
https://struebli.informatik.uni-freiburg.de/logs/student-acceleration/20210416-091202-student-acceleration-259539aefe-M/results.2021-04-16_09-16-26.table.html#/table?filter=0(0*status*(category(in(wrong))))

The loop-zilu* examples produced accelerations with IcfgTransformation and had correct results (except one),the other ones did not produce accelerations with IcfgTransformation.

As usual, the first line of the log shows the exact call.

[danieldietsch]

70eefee fixed the loop-zilu* examples (see https://struebli.informatik.uni-freiburg.de/logs/index.php?dir=student-acceleration/20210501-092903-student-acceleration-1a84f7301f), but two examples still remain unsound:

https://struebli.informatik.uni-freiburg.de/logs/student-acceleration/20210501-092903-student-acceleration-1a84f7301f/results.2021-05-01_09-28-41.table.html#/table?filter=2(0*status*(category(in(wrong))))

@JonasWerner can you investigate?