Function foo line 8 FAILED to compute RF line 43 max(0, (F + -2)) O(n)