Clang LibASTMatchers for CRV symbolic execution