More about SSA and pruned SSA including paper references.