prohver rejects valid SHA models
prohver currently rejects waterlevel.modest and thermostat.modest with the error message "Unsupported differential equation: the derivative value expresssion must not reference continuous variables". This is due to the tightening of the syntactic checks in Modest.Automaton.DifferentialEquation
when support for SHA was added to Simulation/modes. The checking needs to be properly separated for the two use cases.