Ajout d'assertions pour les TU + modification du parse pour le remove