Create a tree representing a variable
var=Variable(name,infer)
variable name (character string)
inference data (a tlist of type "infer", see Infer help page)
a "variable" tlist
This function create a tlist
representing a variable when using M2SCI.
All input parameters values are verified to be compatible with "M2SCI tlists".