Types:
PsiMethodCallExpression:e.i() : void
PsiMethodCallExpression:e.printStackTrace() : void
PsiParameter:e : Test.E2 | Test.E1
PsiReferenceExpression:e : Test.E2 | Test.E1
PsiReferenceExpression:e : Test.E2 | Test.E1

Conversions:
e.i() -> $
e.printStackTrace() -> $

New expression type changes:
Fails: