Class BinaryReflexiveTransitiveClosure