match base
    select base->attributes.count(\nan_f2b)
endmatch

match target
    select target->attributes.count(\nan_b2f)
    index <SigSpec> port(target, \A) === port(base, \Y)
    index <Const> target->attributes[\nan_b2f] === base->attributes[\nan_f2b]
endmatch