Fix ODE contract benchmarks to actually have a contract.