Title: Tutorial on Static Inference of Numeric Invariants by Abstract Interpretation