Fix for Thumb instructions CBZ/CBNZ in monadic ARM model.