better checking for spec refinements