	0	a : 1
Warning: possible invariant violation in x: (a:X) by node a:X
	0	a : X
	0	a : 1
Warning: possible invariant violation in x: (a:X) by node a:X
	0	a : X
	0	a : 1
Warning: possible invariant violation in x: (a:X) by node a:X
	0	a : X
