WooCommerce One Page Checkout

We are using the plugin ‘WooCommerce One Page Checkout’ on a site that will in the near future switch to a Divi template.
Unfortunately there was a problem with using both on the same site.
On Divi-themed sites shortcodes in content are evaluated twice, once in order for Divi to analyze the content, and once more when actually displaying the content.
But the shortcode-implementation in the WooCommerce One Page Checkout plugin has mechanisms to prevent the shortcode from being evaluated twice, which on Divi-themed sites means the checkout is never actually displayed.

I managed to get the checkout working by hacking the plugin and commenting out the ‘// self::$evaluated_shortcode = true;’ line in the file ‘woocommerce-one-page-checkout.php’.
After this the checkout worked, without any discernable drawbacks.

Would it be possible for you to add a filter-hook to the plugin so this behaviour can be modified without hacking a plugin-file?