Language.Syntactic.Sharing.ReifyHO
reifyGraphTop
reifyGraph