I misunderstood what you meant in the e-mail. I thought children_to_var maps from a local variable name to expressions. This seems better.