dev(lp): fix bugs in the dual, improve the pretty printer

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