Moved the LTL-to-Büchi conversion to optional scope.