A static call graph generator in OCaml language for Pseudo-Pascal programs