This is a static analyzer for programs in continuation-passing style.