Trying out automatic termination