The code in Item that used to detect so-called "epsilon-cycles" is removed, as
it detected only loops of the form A -> B beta where beta is nullable, whereas
the new code detects loops of the more general form A -> alpha B beta where
alpha and beta are nullable.