Added RuleDefinition.txt to solution, modified TODO
Fixed Throwing-in
Added an epsilon in proba to prevent too many nodes