Logique - Traducteurs, Déplaceurs de niveau