save(lp): adding test a test file

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