Implement evalTree using TMVars