On 08/26/2013 08:49 AM, deadalnix wrote: > > We simply need to add invariant check in the caller, not the callee, and > not introduce them if the caller is itself subject to invariant > insertion when called. The issue with this is that the invariant is not part of the public interface.