Function foo

    line 544
    FAILED to compute RF
      line 8
      FAILED to compute RF
        line 8
        FAILED to compute RF
          line 34
          FAILED to compute RF
      line 743
      FAILED to compute RF
        line 759
        FAILED to compute RF
      line 727
      FAILED to compute RF
      line 454
      FAILED to compute RF
      line 367
      FAILED to compute RF
        line 367
        FAILED to compute RF
      line 329
      FAILED to compute RF
        line 345
        FAILED to compute RF
      line 311
      FAILED to compute RF
      line 275
      FAILED to compute RF
        line 289
        FAILED to compute RF
      line 239
      FAILED to compute RF
        line 253
        FAILED to compute RF
      line 175
      FAILED to compute RF
      line 159
      FAILED to compute RF
      line 113
      FAILED to compute RF
        line 113
        FAILED to compute RF
      line 77
      FAILED to compute RF
        line 91
        FAILED to compute RF
      line 695
      FAILED to compute RF
        line 709
        FAILED to compute RF
      line 602
      FAILED to compute RF
        line 602
        FAILED to compute RF
        line 634
        FAILED to compute RF
          line 677
          FAILED to compute RF
          line 652
          FAILED to compute RF
      line 570
      FAILED to compute RF
        line 584
        FAILED to compute RF
      line 472
      FAILED to compute RF
        line 472
        FAILED to compute RF
    line 191
    FAILED to compute RF
      line 191
      FAILED to compute RF
    line 418
    FAILED to compute RF
      line 418
      FAILED to compute RF