let env_of_def_list =
    List.map (fun d -> (d.def_name, d))