Symbol: has_symbol
usr/src/tools/smatch/src/smatch.h
1198
int has_symbol(struct expression *expr, struct symbol *sym);
usr/src/tools/smatch/src/smatch_extra.c
1104
!has_symbol(right, sym)) {