Other precondition libraries fail my preconditions for completeness and no-bloat. Use this one instead.