Good news! In the mean time I've been using a bypass, based on the distinction Tutorial D makes between INSERT and D_INSERT. It occurred to me that R := s UNION R is equivalent to INSERT R s, where D_INSERT R s might fail. I'm so used to the behaviour of SQL INSERT that this solution hadn't occurred to me!
This forum is to report technical problems with Rel.