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