[NL10] TopDP vs. x/raise d'un reg - Kill Tilt