In the following simplification, we do not see the variable #bmi_42, despite it being in the expected type #bmi_42 < 18.
This probably happened during simplification, because we have the fresh var but we should still show it.
We might need to rethink some parts of the simplification.
In the following simplification, we do not see the variable
#bmi_42, despite it being in the expected type#bmi_42 < 18.This probably happened during simplification, because we have the fresh var but we should still show it.
We might need to rethink some parts of the simplification.