Use code contracts and code digger on PCL version of bowling game.