public ScriptFuncContract(AstNodeArgs args) : base(args) { _pre = ChildNodes[0] as ScriptFuncContractPre; _post = ChildNodes[1] as ScriptFuncContractPost; _inv = ChildNodes[2] as ScriptFuncContractInv; }