基本RS锁存器存在约束项。