Forgot that order can be reversed through lit update
Forgot to update variable to with-bva-mapping
If Matrix is empty, don't try to echelonize it