save(lp): in the middle of starting using dual elements

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