Class ExtendBinaryTransitiveClosure.Backward