Regression test for the SSA building of the optimizing
compiler. See comment in smali file.