ignore |label| in trivial eliminations