Proposed solution for following incompatible cfg for inline:

    while(1) {
          if (i < 1)
              return n;
          n = foo();
          i = bar();
     }

Needs to be tested for other cases.