v13.eval.termination

Class FixedIteration