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.
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information