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