Add oracle checker and generator.