Prise en compte de Clauses inlined (avec possibilité de choisir de l'activer en mettant l'option -DINLINED_CLAUSE dans le Makefile)\nGain de temps très important sur les gros problèmes (plus faible sur les petits\nOn a encore le choix entre BasicClause et ConstAssignClause