clang flowfact annoation test