Error formatting rule in tester

[rpgoldman]

In tester.py, there are two lines intended to translate a rule into a string:

    prog_ = f"[{','.join(prog_)}]"
    prog_ = janus_format_rule(prog_)

According to my IDE, janus_format_rule is undefined, and grep agrees. I thought this might be a matter of a missing import, but when I look at janus.py I don't see any definition of this function.

This is in find_redundant_rule_ which is invoked by find_redundant_rules which ... as far as I can tell is never called.

Looks like the easiest fix for this would be either to cut these two method definitions out or, if preferred, comment them out.

Low priority but it's distracting having dead code lying around.