save(lp): adding pretty printer, testing on small samples

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