nitc :: MFacet :: has_applied_ensure=
ensure
# Is there an `ensure` contract applied? var has_applied_ensure: Bool = false