assign
This method substitutes variables present in matches map with their values. It must involve only node of Typ=Var. The method must also recognize the values type stored in the map (they can be Const or Num).
Return
a new ITree containing the instantiated variable
Parameters
matches
the map with variable values already assigned.