let
is_call_stmt stmt =
match
stmt.skind
with
Instr
(
Call
_)
->
true
|
_
->
false