OpUnion( OpJoin( a,b ), OpJoin( a, c) ) => OpJoin( a,OpUnion(b,c) )