let epilogue () =
let sep = !mask in
let word1 = Value_parameters.SeparateStmtWord.get() in
let next =
if sep <> 0
then begin
let unimportant = sep lor pred sep in
let important = lnot unimportant in
let c = word1 in
let mn = c land important in
let mx = c lor unimportant in
let next = succ mx in
Value_parameters.feedback "This analysis covers cases %d to %d" mn mx;
next
end
else
succ word1
in
if next <= Value_parameters.SeparateStmtOf.get()
then
Value_parameters.feedback "Next case to cover in sequential order: %d"
next;