save(lp): fixing the parser and adding to the test driver an option to search for min

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