change the transitive closure for NodeInstnFactory (not for conclusion)