-- If the thing isn't a redex, there's no danger of duplicating work,
-- so we can inline if it occurs once, or is small
okToInline True small_enough occ_info
-- If the thing isn't a redex, there's no danger of duplicating work,
-- so we can inline if it occurs once, or is small
okToInline True small_enough occ_info