Class AbstractCompositeTermination<Solution_>