Casts the current Term to Clause, if possible
the current Term, casted to Clause
if the current Term is not an instance of Clause