Add 'add_domains' option to pseudoconstant