Sum of List - Datalog Typing CST Test