Note a field named safe_by_default has been added so we don't warn on variables defined inside EXPR in "case EXPR, do: ...". The proper solution would be to convert && and || into special forms and they would be free of the warning. However, safe_by_default is a welcome temporary solution until we see how the warning will fare on actual applications.