Finite-dimensionality conjecture for enveloping comtrans algebras

Let $C$ be a finite-dimensional comtrans algebra, without assuming that it is special, and let $U(C)$ denote its enveloping algebra. Finite-dimensionality conjecture. If $C$ is finite dimensional, then $U(C)$ is also finite dimensional.

The claim concerns whether finite dimensionality is preserved by the enveloping-algebra construction for arbitrary comtrans algebras. The supplied context proves the corresponding enveloping-algebra isomorphism for a specific special case, but gives no resolution of this general assertion.