fix the CLI of RL rewriting
implement a more readable output of RL contology rewriting