Syntax error on line 24: Syntax Error in invariant Expression.
  invariant safety_requirement: (mG || mY) -> sR && (sG || sY) -> mR;
