All variables in a guard must be bound.

• 所有进行比较的变量必须经过绑定。