Cost models decide which rules can be applied depending on graph
Bring back GuidedDecomp+Closer from the dead, in a good way though
Don't trust GuidedCloser that much, get 400 tests
Introduce Witness, and Guide and Terminating as implementing classes
"Cheat" a little to get good tests for a benchmark