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