Added a step to the BranchesLinearlyInVars visitor that was missing, that is visiting the value of let nodes.