Modified quantifier generation
Added regression8 test