Add a 'nodes' parameter
TE_app in expr_to_term