eliminate-redundant-labels
! eliminate-redundant-matter
eliminate-redundant-operations