Forbid bit generators without size in comprehensions