Member predicate Statement::AssertStmt::pp

Gets a printable representation of this statement. May include more detail than toString().

string pp()