Removed unnecessary code in DiceAST