refer to theory "segments" only, according to global Build.build_theories and Thy_Info.use_theories;