``is_pure &= all(self.visit(arg) for arg in node.args)``