rewriting residue monitor, unnested always/eventually done