may be `(const CallExpr* call)`