Fix tests with a pre_condition