public override void CheckOwnsNothing() { if (l1 != null) throw new Exception("ALWAYS_ASSERT(!l1)"); if (l2 != null) throw new Exception("ALWAYS_ASSERT(!l2)"); }