prop.next = prop;
prop.next = null;
		 void falsePositive(Node prop) {			if (propertyListTail != null) {				propertyListTail.next = prop;				propertyListTail = prop;			} else {				propertyListHead = propertyListTail = prop;			}			prop.next = prop;		}