DirectSumOfXModAlgebras fails the IsXModAlgebra test

[cdwensley]

When this operation was first included the test was avoided by using PreXModByBoundaryAndActionNC (which calls XMoidAlgebraObjNC). This should be looked at when time permits, but it appears to be rather a technical issue.

[cdwensley]

Had another look at this (26/10/24), but could not work out what to do.
The problem occurs with XModAlgebraObj of the direct sum X:S->R of crossed modules when checking IsPreXModAlgebra.
"gap> Image(m1,s1);
Error, the families of the element or collection and Source() don't match, maybe is not contained in Source() or is not a homogeneous list or collection at /Users/christopherwensley/gap/gap-4.13.1/lib/mapping.gi:148 called from
<function "Image">( )
called from read-eval loop at stdin:59
type 'quit;' to quit to outer loop"
where m1 := ImageElm( act, r1 ), r1 is the first generator of R and s1 is the first generator of S.