Да, должно. Проблема в том, что это потребует либо бесконечного алфавита, либо бесконечного размера идентификатора, или, опять же, this. Или я не понимаю, как обойти.