add member declarations to array
non-working dominators; have to fix postorder id confusion