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