fix #14315: FP knownConditionTrueFalse with constant in assert() (#8064)

fix #14315: FP knownConditionTrueFalse with constant in assert() (#8064) #3099