Added PFS_VERIFY_IF family macros.