Member predicate Statement::AssertStmt::getExpr

Gets the boolean expression of this assert statement.

Expr getExpr()