Small bugfixes in quantifiers2py