FWS: Analyzing, maintaining and transcompiling firewalls