Checking the Expressivity of Firewall Languages