Add first test.check property based test for new? function