New test function
Loop analysis pass has a functional skeleton and gate. Just need to make it do anything at all now
Merge branch 'insertion'