[refinement] slightly simplified and optimized refinement primitives
[refinement] Added some additional refinement diagnostics available with the VERBOSE switch