Abstract Interpretation in the Toy Optimizer