save(lp): small samples are passing, and pretty_printer works

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