* lang_php/analyze/foundation/graph_code_php.ml: optimize class_exists
* commons/graph.ml: misc