cmake HAS_APRON examples

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

add_definitions("-DHAS_APRON")