Aside from some basic refactoring, this commit allows the
`local_useless_inc_subtensor` rewrite to handle more increment zero cases.