Adding directives and fix Random [BotState]

Adding directives and default declaration for randomR for Random
[BotState]