add method overview and part of DeadLock Analysis