Equal - Create a tree representing an instruction
This function create a tlist representing an instruction when using M2SCI. All input parameters values are verified to be compatible with "M2SCI tlists".
Funcall, Operation, Variable, Cste, Infer, Contents, Type,