Automated Oracle conversion