choices

val choices: List<Pair<SelectionConstraint, SymbolicCost>>