let compute_one_stmt s =
  debug "computing impact of statement %d" s.sid;
  let res = from_stmt s in
  if Print.get () then begin
    result "impacted statements of stmt %d are:%a" s.sid print_results res
  end;
  res