Besides, I would say (in my experience) having 'false' like this will tend to occur when debugging, to force a certain execution path. In this case it is undes

Besides, I would say (in my experience) having 'false' like this will tend to occur when debugging, to force a certain execution path. In this case it is undesirable for the compiler/model to change the static type since that may then let you make other changes which you should'nt be making, or cause compiler errors further down.