When adding locking without evaluating all locking paths, how can you be sure none of those paths cause a deadlock ?