I will soon transform kcheck into an option for krun, namely --prove for the symbolic backend.
However, I still need some code from it (thank you Dwight for not deleting it).  So, I'm proposing you guys to just ignore the code that belongs to kcheck when reviewing the code.