back to non-strict Export_Theory.read_theory (without warning): theories could have been skipped due to "condition";