koussay/stable: links for abstractdomain