Initializing PropertyIntegerSet harness.