A Heuristic Polynomial Algorithm for Local Inconsistency Diagnosis in Firewall Rule Sets