Transform IsInLists to nested BinaryExpressions
Add "in" example to tesla.d