Updated Kitty to analyze programs using Cerebro