Prevent a bug on tautologies in B2'/B1 rule