brought back nabl-name rule generation