Create CheckSTVisitor