It seems possible after looking at the SSA dominator trees briefly to
make them lockless at
least partly for insertion/deletion/removal of both standard SSA nodes
and PHI nodes. Am
I right in assuming this or our there some subtle details that I'm
missing when looking at
and understanding the code.