let compute_using_mem
    _kf
    (initial_state:Relations_type.Model.t)
    (new_return_v,mem_final_state)
    mem_outs
    instanciation =
  let (a,clobbered_bases) =
     Relations_type.Model.compute_actual_final_from_generic
       initial_state
       mem_final_state
       mem_outs
       instanciation
  in
  (*TODO: new_return_v MUST be substituted! *)
  new_return_v,a,clobbered_bases