Нет, зачем сокращает - он, конечно, знал. Какая может быть в советском фильме аллилуйя? Это же нонсенс. Рязанов как-то в интервью рассказывал, каких трудов ему стоило сохранить в "Иронии" виды церквей и соборов. Другое дело, что дьявол таится в деталях. Которые опущены, в том числе и по цензурным причинам.