method vlval (host, _) =
    begin
      match host with
        | Mem _ -> self#incr_both_metrics (self#incr_ptrs);
        | _ -> ()
    end;
    Cil.DoChildren