Qualche modifica inutile sulla regola nearest_gate_rule
Alcune defrule per fare una inform