Vastly refined and simplified parts of algorithm relating to handling of negative conditions and conflict set resolution.
As a result disappeared a bug that lead randomly to double assertion of the same fact. On the dark side is a slight downfall of performance.
Added RHS-function "fact-id", that can be used to get facts matched to conditions in LHS.
Added RHS-functions "problem-solved", that can be used to empty the conflict set when it is clear that activations in it is no needed anymore.