This represents a guard expression that may be used to select a specific transition.
The context: C will be available to the lambda