Successfully makes a single refinement pass on a simple test program!