isTrue
Checks whether the current term is the true atom. This method is guaranteed to return true if and only if the current term is an instance of Truth and its Truth.value is "true".
Return
true if the current term is "true", or false, otherwise