As reported in a previous blog, I've spent some time working with Taras Glek on Dehydra and Treehydra.
It is stabilising and getting to be easier to build. However I thought I'd show a simple example of actually using GCC and Dehydra to check for a policy decision, along the lines of the things that EBN does.

) were accepted for this year's Summer of Code project.