add namespace for test.check property testing
start of generator code