save(lp): improvoing work with lower_triangle_eta_matrix

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