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