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