Testcase that causes an assertion failure in lib/Analysis/Expressions.cpp