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