let mk_pref r m n opt_cv = 
     { p_root= r; p_mem = m ; p_off=[] ; p_arity=n ;
       p_type=object_of_root r ; p_cvar = opt_cv ;}