update to use VarTree instead of Slot