nuwa/stage: links for abstractdomain