Speedup of valuator: t+
Speedup of valuator: t+
Speedup of valuator: t+
Speedup of valuator: t+
Speedup of valuator
Speedup of valuator: t-2

A few tests fail because the diagnostics are not yet converted