let get_funvar  mem arity root ap =
    match root with 
      | Cvar x -> get_c_funvar mem arity x ap
      | Lvar lv -> get_logic_funvar mem arity lv ap