* demos/show_function_calls1.ml: fix warning exhaustivity
* lang_php/analyze/foundation/graph_code_php.ml: move stuff in env.cur prepare for refactoring phase_inheritance and phase_uses
* lang_php/analyze/foundation/graph_code_php.ml: use less closures
* lang_php/analyze/foundation/graph_code_php.ml: migrate more stuff from closure to regular list
* lang_php/analyze/foundation/graph_code_php.ml: more precise