Analyzing Control Flow More Like a Human [video]