Termination checker
Author: Carsten Schuermann