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