public Object visitStmtVarDecl(StmtVarDecl stmt) {
   Object result = super.visitStmtVarDecl(stmt);
   for (int i = 0; i < stmt.getNumVars(); i++) {
     Expression ie = stmt.getInit(i);
     if (ie != null) {
       Type rt = getType(ie);
       Type ftype = matchTypes(stmt, stmt.getName(i), (stmt.getType(i)), rt);
       upgradeStarToInt(ie, ftype);
     }
   }
   return result;
 }