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.
Tuple of result identifier (possibly null) and statement. This is used to store out contracts: out(id){ ensure }