Add constraints

Add constraints:
- int_le
- int_lt