./error_fun_ret2.nit:17,1--20:10: Control error: Reached end of function.