Extension
getModel(DefaultTheory bbase)
Collection<Extension>
getModels(DefaultTheory bbase)
getExtensions()