swift

41c4f64c - [DisjunctionStep] Start remembering choices when requested

[DisjunctionStep] Start remembering choices when requested Extract choice attempting logic into `DisjunctionStep::attemptChoice` and start recording taken choices in constraint system when requested by disjunction.