convert simple cryptol expressions into finite-state machines - View it on GitHub