consistency checking in PropPreservingPartition.__init__