Function foo line 76 max(call_to_nondet_line_386, 0) O(n) line 357 max(call_to_nondet_line_323, 0) O(n) line 285 max(call_to_nondet_line_42, call_to_nondet_line_12, 0) O(n) line 110 FAILED to compute RF line 217 max(call_to_nondet_line_115, 0) O(n) line 267 FAILED to compute RF