What is a treaty that supplements a previous treaty in international law?