f
g
X
Y
f
X
n__f
g
X
activate
Y
f
X1
X2
n__f
X1
X2
activate
n__f
X1
X2
f
X1
X2
activate
X
X
2.2
f
g
X
Y
f
X
n__f
g
X
activate
Y
f
g
X
Y
activate
Y
activate
n__f
X1
X2
f
X1
X2
true
activate
n__f
X1
X2
f
X1
X2
f
g
X
Y
activate
Y
f
g
X
Y
f
X
n__f
g
X
activate
Y
true
Failed!
NaTT
certifiable-1.6