* lang_bytecode/analyze/graph_code_bytecode.ml: