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

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