cleanup_acceptance_here and simplify_acceptance_here could be improved to use SCCs
Most simplifications in these functions could benefit from ignoring transient edges.
Most simplifications in these functions could benefit from ignoring transient edges.