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