Symbol: free_dest_constraint_hop