deskc-mir is used at run time in 2 crates.

Depender deskc-mir version
deskc-evalmir ^0.0.0
deskc-concretizer ^0.0.0