Improving the formal verification of reachability policies in virtualized networks