Créé un arbre représentant une instruction
eq=Equal(lhslist,expression)
liste des paramètres de sortie (liste de "tlists M2SCI")
partie droite de l'instruction (une "tlist M2SCI")
une tlist de type "equal"
Cette fonction créé une tlist
représentant les données d'inférence quand
on utilise M2SCI. Tous les paramètres d'entrée sont vérifiés pour être compatible avec
les "tlists M2SCI".