swift

41c04c5f - RequirementMachine: Add a comment explaining a recent change to concrete contraction