Fix the distinguished elimination.
Do not do distinguished elimination by default.