--no-pruning now prunes in the TD root.

Otherwise there are sometimes wrong results in, e.g., QSAT.
Adapted VC encodings to newest clingo syntax.

Also adapted test_optval scripts to new D-FLAT output.