method
stmt_froms =
let
stmt =
Cilutil
.out_some (self
#
current_stmt)
in
IH
.find froms stmt.sid