Comment by viovanov

We're working on support for partial evaluation in our system at Aserto https://aserto.com/