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