How accurate is this documentation? Even if this is based on an `IncrementalSolver`, the comments mention "incremental Kodkod solver" all over the place.