zaris/stable: links for abstractdomain