Casts the current Term to Truth, if possible, or returns null otherwise
null
the current Term, casted to Truth, or null, if the current term is not an instance of Truth