Named sub-terms are not handled by `PartitionManager`

[Tomaqa]

If a sub-term, i.e., not a top-level one, is named, the PartitionManager does not track it.
Hence, it is impossible to get its partition, and consequently, to get its value via MainSolver::getTermValue, or to reason about its appearance in unsat cores.