Minimal failing test over ZZ with option prot