private static int nextValue(Proposition proposition, int variable, int currentIndex) {
for (int i = currentIndex + 1; i < proposition.getNumCategories(variable); i++) {
if (proposition.isAllowed(variable, i)) {
return i;
}
}
return -1;
}
