Remove a condition that can never be true, as wittnessed by the assert