Enable log after cutpoint decision
mm/clean-ts: Assume that the program with smallest id is main