SSA form of trace