added pretty print support for assume messages