only apply MultLeadingBits rewrite rule when under an extract operation