Debugging new algorithm part.
Bugfix in description of parameter order.
Factoring out debugging of protocol rule parameters.
New improved merging of similar leaf nodes.
Introduced support for 'L_' prefix for facts to delay being chosen by the heuristics.