Function foo

    line 399
    1
    O(1)
      line 789
      FAILED to compute RF
    line 700
    1
    O(1)
      line 294
      FAILED to compute RF