added ino for set membership constraint