Complex canonicalizer for the variable atom
Complex2Real.variable_canon(expr, real_args, imag_args, real2imag)
A list mapping the ID of the real part of a complex expression to the ID of its imaginary part.
A canonicalization of a variable atom, where the returned variables are the real component and the NULL imaginary component.