id	summary	reporter	owner	description	type	status	priority	milestone	component	version	resolution	keywords	cc
2120	Make sure solving for a variable always solves the equation	Martin Sjölund	Patrick Täuber	"{{{
model M
  Real r[3];
equation
  r[1] = 1;
  r[integer(time)] = 2;
  r[2] = time;
end M;
}}}

We get `r[3]` is solved by:
{{{
Variables (1)
========================================
1:  r[3]:VARIABLE() .M, .Real type: Real [3]


Equations (1, 1)
========================================
1/1 (1): {1.0, time, r[3]}[integer(time, 0)] = 2.0
}}}

Add an assertion `integer(time) == 3`, and use `r[3] = 2.0`."	defect	assigned	high	Future	Backend	trunk