Add ASSERT_IFAC_VALID