DiffEvoX and EscalationRestrictor