Microsoft.Z3.Goal.DecRef C# (CSharp) Method

        internal override void DecRef(IntPtr o)
        {
            Context.Goal_DRQ.Add(o);
            base.DecRef(o);
        }