用受限输入和字符访问计数比较嵌套量词与简化规则，核对占有量词的语义变化，给出执行前预算及隔离边界。