Completed AssignStmt except java.lang.String's methods' modeling