CIF type checker crashes on checking discrete variable being effectively constant if an assignment has an invalid addressable

While using the Eclipse Escet IDE for modeling a project I have run into a problem.

After looking at my code and the stack trace I think the issue have been caused by a variable that I declared as being constant(last_detected_color), but then reassigning it to a different value later in my code. Here I have attached a small code snippet that might have produced the error and the stack trace:ValidationError-04.11.2025.txtcrash_report_2025-11-04_15-26-23-335_10411365842590974144.log