Added platform attribute to district and ensure that nodes can be added to the district only if the facts contain the same platform value as the district's attribute