f X cons X n__f n__g X g 0 s 0 g s X s s g X sel 0 cons X Y X sel s X cons Y Z sel X activate Z f X n__f X g X n__g X activate n__f X f activate X activate n__g X g activate X activate X X 2.2 activate n__g X activate X activate n__f X f activate X activate n__f X activate X g s X g X sel s X cons Y Z sel X activate Z activate n__g X g activate X sel s X cons Y Z activate Z true sel s X cons Y Z sel X activate Z true s 1 1 1 activate 1 1 activate 1 0 f 1 2 0 0 11798 sel 2 1 0 sel 2 0 n__f 1 1 3 f 1 0 g 1 0 n__g 1 1 8366 cons 2 3 g 1 0 sel s X cons Y Z activate Z false activate n__f X activate X activate n__g X activate X true s 1 1 1 activate 1 1 activate 1 1 0 f 1 2 0 0 11798 sel 2 0 sel 2 0 n__f 1 1 3 f 1 0 g 1 0 n__g 1 1 8366 cons 2 3 g 1 0 activate n__g X g activate X false g s X g X true s 1 1 1 activate 1 1 activate 1 0 f 1 2 0 0 11798 sel 2 0 sel 2 0 n__f 1 1 3 f 1 0 g 1 1 0 n__g 1 1 1 cons 2 3 g 1 0 activate n__f X f activate X false NaTT certifiable-1.6