Adding property tests from GNUstep