Update CheckSTVisitor.java