aviggiano

I help protocols improve their invariant tests