public ScriptFuncContract(AstNodeArgs args) : base(args) { pre = ChildNodes[0] as ScriptFuncContractPre; post = ChildNodes[1] as ScriptFuncContractPost; inv = ChildNodes[2] as ScriptFuncContractInv; }