Check IFCs for multiple RegistrationTypes better