ARC: add $arc_domains variable, for verify pass