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