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