Introduce Witness, and Guide and Terminating as implementing classes
"Cheat" a little to get good tests for a benchmark
I have trust issues