Types:
PsiField:f : java.util.Map<java.lang.String,java.util.Set<java.lang.String>>
PsiLocalVariable:stringList : java.util.Set<java.lang.String>
PsiMethodCallExpression:f.get(s) : java.util.Set<java.lang.String>
PsiMethodCallExpression:stringList.add(s) : boolean
PsiReferenceExpression:f : java.util.Map<java.lang.String,java.util.Set<java.lang.String>>
PsiReferenceExpression:stringList : java.util.Set<java.lang.String>

Conversions:
f.get(s) -> $
stringList.add(s) -> $

New expression type changes:
Fails: