Update change of TermEnum prototype (resolve compilation issue)