Tests for Invariant Loops am: 41249cd548
am: 4ad1c2ee58

Change-Id: Id2311daa3b2f5c51901a4a25952f06c42de74e91