ParametricInversion currently relies on Mjolnir.jl. We use Mjolnir over just IRTools because Mjolnir does constant and type propagation. There are few issues though:
Currently Mjolnir is currently very buggy and not robust. It fails much more often than it succeeds
Mjolnir currently inlines maximally. This may not always be what we want
There seems to be very close connections between what parametric relational programming and Mjolnir are doing. It could well be the case that we can easily fold what Mjolnir is doing into our framework.
ParametricInversion currently relies on Mjolnir.jl. We use Mjolnir over just IRTools because Mjolnir does constant and type propagation. There are few issues though: