Fix: inlining now allows oracles to be replaced by programs that are instantiated with oracles.
Fix: inlining now allows oracles to be replaced by programs that are instantiated with oracles.

dominique-unruh/qrhl-tool