13. Termination -- Termination of Integer Linear Programs -- Automatic Termination