Member predicate AssumeExpr :: getOperand
Gets the operand of the __assume
expressions.
Expr
getOperand
(
)