Matrix inversion in ModellingToolkit

No that expression right there does not need the matrix inverse. Keep it lazy if you want to scale. There is no matrix inverse expression without expression growth