isWellFormed

Checks whether the receiver term is a well-formed predication, i.e. an it.unibo.tuprolog.core.Atom or Struct (see Clause.bodyWellFormedVisitor).