redef on access_stmt