Add {assert,refute}_match