Used right-nullable tails elimination.