Compare ind-based def to elim-based def where both defs are inlined.