Stricter precondition when strength reducing variable right shifts