Symbol: dup_dest_constraint_hop