PROBPLUGIN-91: Bugfix, instead of default FormulaFactory, we now use the project's FormulaFactory
merge develop into rodin3 branch