BP: loopy max now also uses a MAPSummary