Used to verify infrastructure code contracts and to implement simple pattern matching (e.g. an event 'new' method supporting three use cases). Contracts are disabled in production but pattern matching still works when contracts are off.