updating Semant.java