Update libsetops.py