Investment Facilitation Agreements and Treaty Function Reordered: A Theory of Procedural Treaty Design | Synapse