fixes for translation of NACs in rules