Only back substitute if requested, and instead for AMPL/PuLP define variables and constraints to show the dependency tree.