<AI_API>: include
<utils.ml> or <knowledge_base.ml> or <kind_ai_loop.ml> or <AI_API/*.ml>: use_apron
<scc.*>: use_graph
<AI_API/*.native> or <*.native>: use_str,use_unix,use_nums,use_graph,use_gmp,use_apron,use_polka,use_oct,use_box,use_ppl,debug
