We do not need to use a bit to store whether a tgba has a single acceptance set.
has_single_acc_set() can now be rewritten by checking whether
acc().num_sets() == 1.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information