Merge "Move loop invariant utility to more general place." am: c65d1f3d26
am: b8f6d7c336

* commit 'b8f6d7c3360180174276bab7618760724500d148':
  Move loop invariant utility to more general place.