visitEmpty

open fun visitEmpty(term: Empty): T