Code from NBP IS generates loop successors with multiple predecessors
It runs into this assert: https://gitlab.inria.fr/parcoach/parcoach/-/blob/47d67232f3cc0322d09d2bd60286885fb33220c8/src/include/parcoach/CFGVisitors.h#L191
Fix incoming, but filling an issue to keep a trace and the attached IR running into the assert. parcoach-ir-d58581.ll