cmake DMETASMT_HAVE_ examples

klee/klee cmake/find_metasmt.cmake :91 

list(APPEND KLEE_COMPONENT_CXX_DEFINES -DMETASMT_HAVE_${backend})