put some tests in the pattern instantiation