Syntax error on line 2: Bad VarsDecl.
  var BCR_state : {0, 1};
