Uses of Interface
science.aist.gtf.verification.syntactic.visitor.ConstraintVisitor