Correct the checks of module availability in provider test programs