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