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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information