/*
   * solvable this covenant affects
   *
   * non-nil only for operations INCLUDE_SOLVABLE and EXCLUDE_SOLVABLE
   *
   */
  XSolvable *solvable()