Member predicate Assertions::Assertion::getExpr

Gets the expression that this assertion pertains to.

Expr getExpr()