Class Pass2Verifier.CPESSC_Visitor