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 , Type ,