save(lp) : adding a method looking for a lower triangle submatrix at the initial state

Signed-off-by: Lev Nachmanson <levnach@microsoft.com>