Без заголовка

Да-да, последнее стремно :). И вполне справедливо вызывает недоверие. Ведь всю эту нагенеренную кучу артефактов надо проверить. Т.е. нужно строить мостики от требованиям к правилам. Т.е. сгенерированный по правилам код, должен соответствовать требованиям. А вот формулировка этих требований - сама по себе нетривиальная задача.