* fixed a bug where quantifiers of {0,1} would never output anything