stan-patch-Finite-Closure
unif23NoOptParallel_Lehmann
Die "Smaller" Relationen waren in falscher Richtung. Außerdem müssen TypeParams bei List und AbstractList angefügt werden