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