X^{(1,restricted)} = Y \cup \{terminal\}