let wp_po = add_group "Proof Obligations"