fix(lp): fix the boxed variable case in stage1 of dual primal

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