test: trivial refinements