Anolis no longer treats <var> as a defined term.