The first argument of a temporal logic function should be an expression, and not an event

The first argument of a temporal logic function should be an expression. Nested calls to other Stateflow built-in functions are not allowed
The first argument of a temporal logic function should be an expression, and not a state name

cdr