Don't use a naked meta-variable for ECLiPSe support in the debugger tool