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

5		refl && spec && lit
6		env && spec && lit