	0	a : 1
Warning: possible invariant violation in [top-level]: (a:X) by node a:X
	0	a : X
	0	a : 1
Warning: possible invariant violation in [top-level]: (a:X) by node a:X
	0	a : X
	0	a : 1
Warning: possible invariant violation in [top-level]: (a:X) by node a:X
	0	a : X
