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