public override Absy StdDispatch(StandardVisitor visitor) { Contract.Ensures(Contract.Result<Absy>() != null); return visitor.VisitYieldCmd(this); }