C-version of check_loops
Whitespace changes
Add a test for loop invariant check
Submodule commitst