Artifact for μGV: A Self-Dual Distillation of Session Types (Pearl) - Anonymous (2022)