--TEST-- SSA constrution for CFG with unreachable basic blocks --SKIPIF-- --FILE-- OK --EXPECT-- OK