Added proof rule using matching and a number of tests