dev(lp): check that rational dual case works, work robustness of the dual - only begining

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