/lively4-seminars/RP2019/p3-static-analysis