remove UNI-rules from functional specification output