The generated code should be more aggressive about avoiding redundancy and reusing Value nodes that have been previously instantiated.