* graph_code/graph_code_checker.ml: bugfix for syscalls