Allow transitive reduction during intree probing