added error trace for parsing errors and fix cardinality consts

src/main/java/at/jku/cps/travart/core/verify/UVLVerifier.java

@@ -150,6 +150,7 @@ public static Formula parseUVLconstraintAsFormula(FormulaFactory ff, String s) {
 			return parser.parse(s);
 		} catch (ParserException e) {
 			System.err.println("Verifier has failed to parse the following UVL constraint:\n" + s);
+			e.printStackTrace();
 			return null;
 		}
 	}
@@ -214,7 +215,7 @@ private static Formula getGroupAsFormula(FormulaFactory ff, Group g) {
 		case GROUP_CARDINALITY:
 			return ff.and(ff.implication(ff.or(literals), parentLiteral),
 					ff.and(ff.cc(CType.GE, Integer.valueOf(g.getLowerBound()), literals),
-							ff.cc(CType.LE, Integer.valueOf(g.getUpperBound()))));
+							ff.cc(CType.LE, Integer.valueOf(g.getUpperBound()), literals)));
 		default:
 			return ff.verum();
 		}