Using `add_pe_to_p` will check that all PE neighbors are present in the list of BGP neighbors in P-ONLY group. `verify_p_ibgp` had a custom template to regenerate the entire BGP config on a P router - this is legacy.