Function foo

    line 38
    FAILED to compute RF
      line 31
      FAILED to compute RF
        line 96
        FAILED to compute RF
          line 138
          FAILED to compute RF
          line 119
          FAILED to compute RF
        line 31
        FAILED to compute RF
          line 29
          FAILED to compute Bound