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