Composition for inhomogeneous relations crashes #4
Description
The composition for inhomogeneous relations crashes if the the domain 2 of relation 1 and domain 1 of relation 2 are not equal.
e.g. for R = A X B, Q = B X C the composition of R and Q works properly but
for Q and R the software crashes.