(Xronos) NewLimGen, Inspired from ControlFlowAnalyzer, XronosCFG,
creates for each procedure a CFG with an entry an exit, and joins nodes
for ifs and whiles, adding method mergeJoins, which is going to merge
all joins of the graph to the successors!