Supporting also single-Generator calls in forAll()
Big renaming for style