Added debugging in ap_pikevm_pass_body