LTL_to_GBA.LTL_to_GBA_impl