[dfa/Cursor] When a subregex which generates nontrivial fates is quantified, the...