degen could use some common_in trick
sbacc()
computes acceptance marks common to input and output edges of each states, but for some (probably historical) reason degeneralize()
only use common output. I think it would improve things to use information about common input as well.