Add contracts to known sets