Allow negated quantified expressions without parentheses

src/parse.rs

@@ -174,7 +174,7 @@ fn variable_declaration(i: &str) -> IResult<&str, crate::VariableDeclaration>
 				let domain = match name.chars().next()
 				{
 					Some('X') | Some('Y') | Some('Z') => crate::Domain::Program,
-					Some('I') | Some('N') | Some('M') => crate::Domain::Integer,
+					Some('I') | Some('J') | Some('K') | Some('L') | Some('M') | Some('N') => crate::Domain::Integer,
 					Some(other) => panic!("variable “{}” starts with character “{}”, which is not allowed", name, other),
 					None => panic!("unexpected variable name, please report to bug tracker"),
 				};
@@ -518,7 +518,7 @@ fn exists(i: &str) -> IResult<&str, crate::Formula>
 						tag(","),
 						variable_declaration
 					),
-					formula_precedence_1
+					formula_precedence_2
 				)
 			),
 			whitespace0
@@ -553,7 +553,7 @@ fn for_all(i: &str) -> IResult<&str, crate::Formula>
 						tag(","),
 						variable_declaration
 					),
-					formula_precedence_1
+					formula_precedence_2
 				)
 			),
 			whitespace0