MHT program analysis