Add backward analysis when return back to dummyMain from source