Iconify the formula according to the iconification level fixed.
We assume the necessary computation for the iconification of the formula was previously done.
This is a recursive iconification process. Subtrees of iconfied ones are also iconified.
Definition at line 174 of file ProcessorImpl.java.
Referenced by doProcess(), and fr::ove::openmath::jome::model::processor::DepthProcessor::doProcess().