isEmptyBlock
Checks whether the current term is an empty logic block. This method is guaranteed to return true if and only if the current term is an instance of EmptyBlock.
Return
true if the current term is an empty logic block, or false, otherwise