Call appropriate switch directly instead of indirectly going through generic COPY-SRC and DotExpression.
Trace of certain elements that used to go through extra DotExpression dispatch had changed.
Single TEE instance per reduction track - since we don't want to pass TEE everywhere along with TC, and made it available through TC.getEnvironment(), and we need to associate a distinct reduction track with a root (not a thread), separate TEE instance seems to be reasonable (but not the best one) solution to keep this reduction track info.