Add 'IsThumb' predicate to patterns marked as 'IsThumb1Only'. The latter gates