A Knownbits Abstract Domain for the Toy Optimizer, Correctly

After Max' introduction to abstract interpretation for the toy optimizer in the last post, I want to present a more complicated abstract domain in this post. This abstract domain reasons about the ind