Syntax error on line 6: Bad VarsDecl.
  var x : 1..2;
