A Junos config analyzer