Tuple of result identifier (possibly null) and statement. This is used to store out contracts: out(id){ ensure }
Do syntax copy of an array of Ensure's.
See Implementation
Tuple of result identifier (possibly null) and statement. This is used to store out contracts: out(id){ ensure }