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;