Если Juice был перенесён с расчётом на работу только в BlackBox, то можно расчитывать на модуль Цинна. Если же нужна универсальность между компиляторами Оберонов, то тогда нужно поставлять отдельным модулем, пожалуй.