Bug #1421:Running leanmd with error checking enabled in Charm++ triggers assertion...