New split_vc sometimes crashes
Following commit 22ab5177, attempting to use split_vc on lemma valuation_monotonous
in examples/multiprecision/valuation.mlw
results in a failure (with the new popup!) due to an uncaught NoTerminationProof exception.