Promote unified to key text, and add trace analysis by contract slide