Function foo

    line 112
    max(call_to_nondet_line_143, call_to_nondet_line_136, 0)
    O(n)
      line 73
      max(0, ( max(A, 0) × max(call_to_nondet_line_143, call_to_nondet_line_136, 0) + max(A, 0)))
      O(n^2)
        line 32
        FAILED to compute RF