Identify high-level constraints