tuned --- potentially more robust (e.g. session.phase_changed vs. isabelle_process.terminated);