WARNING: This operations are not used in frontend, and should be be used.
WARNING: This operations are not used in frontend, and should be be used. They are used in SpecGen only the source of metadata for the corresponding ErgoTree nodes.
(Since version ) see corresponding Javadoc for more information.