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