Maximum Element - Datalog Typing CST Test