1		default
2		refl && !spec && !exploded
3		env && exploded
		env && spec && !exploded
4		spec && !exploded

5		refl && spec && !exploded
6		env && spec && !exploded