AI does not correctly model the clobber case of ArithClz32