Function foo

    line 1366
    FAILED to compute RF
      line 1366
      FAILED to compute RF
        line 1084
        FAILED to compute RF
    line 872
    FAILED to compute RF
    line 1819
    1
    O(1)
      line 1814
      FAILED to compute RF
    line 2051
    FAILED to compute RF