Function foo

    line 918
    1
    O(1)
      line 1290
      FAILED to compute RF
        line 598
        FAILED to compute RF
        line 1470
        FAILED to compute RF
    line 800
    1
    O(1)
      line 378
      FAILED to compute RF