Refinements and printlns in the tests