Using matcher in verification. Closes #20