Fix ABC elimination.