added Syntagma::pretty_debugmsg()