some hanldStmt methods for abstract heap