add extra assert