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