Added precedence to cartesian product node (stem from Event-B)