Completed proof of concept for SDX Policy Recompilation