Change assertion library