Remove unnecessary extra cartesian product check in Ronja