infer more contracts: go inside loops/try, honor returned expression notnullability
IDEA-129204 Deadlock in completion