Package science.aist.gtf.verification.syntactic.visitor