Minor change to constraint handling in lower that fixes an issue related to constaining output buffers on function with Tuple output. Previously the constraints were not fully used to simplify the output buffers beyond the first one. This change causes constraints on the first buffer to be fully populated through all the remaining buffers.