Redundant guard conditions caused guarantee failure

[chengjingwei (A)]

Someone would like to have a look at this? It's probably a bug and may have impact on applications.