Tidy: Better eq assertion function