Feature/undo tensor sum fix

In !210 (merged) I applied a fix for sums and conditionals of tensors. It turns out we already had a mechansim for that in place (the index_pushdown transformation), that just needed a bit of fixing for recursiveness. The patch reverts the old change and fixes the actual problem.