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