PersistentNode renamed to KnownNode, which is better reflects its semantics. KnownNode has been put into a separate file.