cmake APRON examples

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

find_package(APRON)