2IMF00 (2022-GS2) Seminar formal system analysis