coccinelle: use exists to improve efficiency