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

src/main/java/de/tlc4b/analysis/PrecedenceCollector.java

@@ -4,6 +4,7 @@ import java.util.HashSet;
 import java.util.Hashtable;
 
 import de.be4.classicalb.core.parser.analysis.DepthFirstAdapter;
+import de.be4.classicalb.core.parser.node.ACartesianProductExpression;
 import de.be4.classicalb.core.parser.node.AConvertBoolExpression;
 import de.be4.classicalb.core.parser.node.ADomainExpression;
 import de.be4.classicalb.core.parser.node.AMinusOrSetSubtractExpression;
@@ -58,6 +59,7 @@ public class PrecedenceCollector extends DepthFirstAdapter {
 		put("ASetSubtractionExpression", 8, 8, false);
 		put("AIntervalExpression", 9, 9, true);
 		
+		put("ACartesianProductExpression", 8, 13, false);
 		
 		put("AAddExpression", 10, 10, true);
 		

src/test/java/de/tlc4b/prettyprint/PrecedenceTest.java

@@ -8,6 +8,7 @@ public class PrecedenceTest {
 
 	@Test
 	public void testSubsetVsTimes() throws Exception {
+		
 		String machine = "MACHINE test\n"
 				+ "PROPERTIES POW({1}) * {1} = POW({1}) * {1} \n" + "END";
 		String expected = "---- MODULE test----\n" + "EXTENDS Integers\n"