Package science.aist.gtf.verification.syntactic.constraint.impl