let d_message () msg = 
  dprintf "%s(%s:%a)"
    (if msg.goal then "Goal" else "Assert")
    msg.owner
    L.d_pred msg.body