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