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