Update ratiocinator for big improvements