Careful removing variables from simplification #37
Description
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 vari but we should still show it.
We might need to rethink some parts of the simplification.
