Casts the current Solution to No, if possible
the current Solution, casted to No
if the current Solution is not an instance of No