Deferred assertion library