Include oracle verification

Include oracle verification