Class AbstractBuilder<S,T,A,L,B extends GeneralizedBuchiAcceptance>