Handle UNION (the distinct form) with Ronja