/ignore refinement added to VDUMP