Optimize abstracts.
More optimizations and symmetry breaking.