checkEscapes properly during subsumeAndGeneralize