Seminar: Transcompiling and Analysing Firewalls