fixed bug with VARIABLE term abstract syntax tree encoding