Consistency checker: check that nodes are indexed.

o Directly use PropertyStore instead of the RecordAccess API
  to reduce code duplication at the expense of deferred check mechanism.
o This could prove to be an expensive check because of the need to read
  whole property chain for each node.