The clocked spine at an arbitrary file

DescriptiveComplexity.Problems.Wide.DrawIxEval's legs folded by the clocked program's spine (nexEvalRuleF, two rules per checkpoint instead of three, its phases wrapped in NexPh). The legs are the same theorems the space-bounded spine folds – they are generic in the wrapper – so what this file adds is one run: the branched evaluation of the whole spine, on a clock.