def METHOD_NAME(
    self, expr_idx: int, expr: Expr.VEXCCallExpression, stmt_idx: int, stmt: Stmt.Statement, block: Optional[Block]
):
    if self.avoid is not None:
        if any(op == self.avoid for op in expr.operands):
            self.has_avoid = True
    super().METHOD_NAME(expr_idx, expr, stmt_idx, stmt, block)