Less debugging
Don't throw exceptions in pretty printing test
Fix bug with subseteq