Termination checker
Author: Carsten Schuermann

