ajout de absoluteAssign(Literal), mais on continue de gerer les clauses de taille 1 de la meme manière