Simplify verify assertions