public boolean isEmptyList() { Term t = getTerm(); if (t == this) { return false; } else { return t.isEmptyList(); } }