log for control flow analysis