Simplifies van_spec tests