lean(lp): lu factorization works modulo degenerated cases