lean(lp): test_small_lu passes after another bug fix