Accelerating BGP Configuration Verification Through Reducing Cycles in SMT Constraints