List Membership - Datalog Typing CST Test