Hennessy-Anal-Compilation