isdisjoint "returns True if two sets have a null intersection", right?
I don't believe it fits here, it is rather:

```
func_aliases = self.aliases[node.func].aliases
is_pure = func_aliases.issubset(self.result)
```