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