The intermediate representation in machine/Tree.scala currently passes arguments with explicit substitutions. We should use a normal jump with arguments instead. This might require us to pass a substitution during transformation.