ZIF
search(ZIF, 0);
if (level == 0 && type == ZIF) {
case ZIF:
if ((type == ZIF || type == ZELSE) &&
if (type == ZIF || type == ZELSE) {
case ZIF:
S_if, ZIF,
case ZIF: