Check that no new inames are added to instructions by ILP realization