cmake FrontendLLVM examples

NASA-SW-VnV/ikos analyzer/CMakeLists.txt :119 

find_package(FrontendLLVM REQUIRED)