Migrated diagnostics tests to OCaml