added instancheck test to decorator
added PatternConstraint test stub