let
process_jump pdg stmt controled_stmts =
ignore (mk_jump_node pdg stmt controled_stmts)