save(lp): both stages seem working, passing up with walgrind

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