Syntax error on line 10: Syntax Error in Expression.
    arrival' = choose { true; false };
