Tests for Invariant Loops
am: 41249cd548

Change-Id: If2758c8a7f7e55ed831b9230f9ad72bf19f86373