Merge branch 'checked-ilp' into 'master'
Check that no new inames are added to instructions by ILP realization See merge request inducer/loopy!162
Check that no new inames are added to instructions by ILP realization See merge request inducer/loopy!162