Verifier: Check for incompatible bit piece expressions