Class LTL2LDBAFunction<S,B extends GeneralizedBuchiAcceptance,C extends RecurringObligation>