metrics.py differentiates between termination hints and non-termination