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