fix a bug in setupAnalysis(returnInst is not in the initialized worklist)