Tree.java: resolve any lifting at Tree-creation time