--TEST-- Incorrect CFG/SSA reconstruction --FILE--