Started to add support for loop-exit edges in the super block CFGF