AbdExp: Probabilistically correct handling of MPEAccuracy.