Creates a precondition that checks state field values. Useful for enforcing invariants before node execution.
Creates a precondition that checks state field values. Useful for enforcing invariants before node execution.