davide added a comment. `Exprs.size() == 1` is still valid in every example we've seen, so yes, you might want to keep it (and update the assertion message) CHANGES SINCE LAST ACTION https://reviews.llvm.org/D138947/new/ https://reviews.llvm.org/D138947