Symbol: free_dest_constraints