feat: prepare for proving the closure of omega-regular languages under complementation#268

ctchou wants to merge 3 commits intoleanprover:mainleanprover/cslib:mainfrom

ctchou:omega-saturationctchou/cslib:omega-saturationCopy head branch name to clipboard