Transform (sub 0, (zext bool to A)) to (sext bool to A) and