bugfix for vertical checks on horizontal invariance. Prevents edge-case nondeterministic detections.