fix bug in resume logic analysis algorithm
remove redundant local binding