ferram.rtoptions._RTOption[] incompatible
ModalFormulaFactory formulaFactory
FormulaFactory formulaFactory