a couple optimizations.

1. don't refute choices set to `false`, xor will take care of that
2. don't ask for value of "uninterpreted" sorts, we only care about
   choices and actual ints