Syntax error on line 4: Bad VarsDecl.
  var x : 1..2; // variable to decide which process can enter the critical section
