let init_value_term_rec = ref (fun _ _ _  -> assert false)