public override void Accept(Contracts.IOracleModelVisitor visitor) { visitor.VisitProcedure(this); this.Arguments.Accept(visitor); this.ResultType.Accept(visitor); }