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.