Finish untested EXPR