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.