id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
4856	Expression.isConst failed	Vitalij Ruge	Martin Sjölund	"In the example
OpenModelica/testsuite/simulation/modelica/others/Bug3885.mos we can find wrong check for `expr`
{{{#!modelica
expr := min(-(if false then 0.0 else -1.0), min(100000.0, min(if Modelica.Fluid.Types.PortFlowDirection.Bidirectional == Modelica.Fluid.Types.PortFlowDirection.Leaving then 0.0 else 9.999999999999999e+59, min(100000.0, min(100000.0, min(100000.0, 100000.0)))))); 
 Expression.isConst(expr);// false
 ExpressionSimplify.simplify(expr); // 1
}}}

(I will mark this issue as critical because it's a base function)"	defect	closed	critical	1.13.0	MetaModelica		fixed