true-anal-compilation