Add assumption: zero is finite

fixes #8075
Isn't it enough to assert that `all(a.is_zero is False for a in self.args)`?