id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
4432	unbalanced if-eqns are not detected	anonymous	somebody	"Following model is accepted even it is not really balanced. Also the result is really odd.
{{{
model ifeqns
  Real x(start=-1);
  Real y1,y2;
equation 
der(x) = sin(time);

if x > 0 then
  y1 = x;
  y2 = 2*y1*x;
elseif x > 0.75 then
  y2 = 2.0;
else
  y2 = 2*x;
  y1 = 3*x;
end if;

end ifeqns;
}}}"	defect	new	high	Future	*unknown*	v1.12.0