Symbol: dest_constraint_hop