These happen for variables which are only used
in assertions, when assertions are disabled.