Closed Definition Analysis