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