Incompatibility between cryptocode and autonum

[sattath]

I would like to use the cryptocode and autonum packages. These packages seem to be incompatible. Here is a MWE:

\documentclass{article}
\usepackage{cryptocode}
\usepackage{autonum}
\begin{document}
\procedure[]{Test}{Test}
\end{document}
When compiling this I get the following error, and loading the packages in the opposite order doesn't help either:

! LaTeX Error: Environment flalign* undefined.

It compiles as expected when commenting out the 3rd line. Is this a known issue? I would like to use cleveref so using mathtools' \mathtoolsset{showonlyrefs} (which provides a similar functionality) isn't a valid workaround, since it is known that showonlyrefs is incompatible with cleveref.

I asked this question on https://tex.stackexchange.com/questions/522666/incompatibility-between-cryptocode-and-autonum/522669?noredirect=1#comment1321889_522669
and egreg provided the following workaround:

\documentclass{article}
\usepackage{cryptocode}
\usepackage{autonum}

\expandafter\let\expandafter\savedflalignstar\csname flalign*\endcsname
\expandafter\let\expandafter\savedendflalignstar\csname endflalign*\endcsname
\AtBeginDocument{%
\expandafter\let\csname flalign*\endcsname\savedflalignstar
\expandafter\let\csname endflalign*\endcsname\savedendflalignstar
}

\begin{document}

\procedure[]{Test}{Test}

\end{document}

It would be nice if this would be resolved at the level of the package, or, at least, added to the known issues.