Resolve #128: forall requires at least single generator
Resolve #128: forall requires at least single generator

izaakschroeder/jsverify,StoneCypher/jsverify,vilppuvuorinen/jsverify,dmitriid/jsverify,StoneCypher/jsverify,jsverify/jsverify,jsverify/jsverify