I believe this issue @User is still being investigated with OpenLANE - right now, its been thoroughly tested with commercial tools and the hack, I believe, is they used an ANT diode on all inputs which is not optimal - so this is definitely something that needs to be fixed. I do not believe putting it in the lib is the right option as it works perfectly with Innovus