Use better S selection in cintfarkaspolo as well
Only search for PRFs for SCCs with unknown complexity...
Performance: Don't recompute the termination graph |Vars| time in RVGraph construction
Sep heuristic: Do not enumerate large powersets
Add a slicing processors
Use slicing processor
Simplify / document LSC computation
Move Separation heuristic, improve it + its logging
Strategy improvement
Strategy improvement: Do (fast) FarkasSizeBound before (slow) Polo