* [ILP] Added inequality statement to the family1 example (I'm no sibling of my own).