Ineffective write in is_commit_stmt