collectEpsilons :: S.Set Rule -> S.Set SynTermEps -- TN
collectEpsilons = error "collectEpsilons"
collectEpsilons :: S.Set Rule -> S.Set SynTermEps
collectEpsilons = error "collectEpsilons"
collectEpsilons = error "collectEpsilons"