let find fundec = let var = fundec.svar in try Non_linear_assignments.find var with Not_found -> let nl = compute_non_linear_assignments fundec in Non_linear_assignments.replace var nl; nl