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