Fix __assume to work with an explicit operator bool