Length of List - Datalog Typing CST Test