/* * The solvable affected by the decision */ XSolvable *solvable()